首页> 外文OA文献 >A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

【2h】

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

机译：通过原子流和阈值公式进行深度推理的拟多项式削减法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Paola Bruscoli; Alessio Guglielmi; Tom Gundersen; Michel Parigot;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae [J] . PaolaBruscoli, AlessioGuglielmi, TomGundersen, Logical Methods in Computer Science . 2016,第2期

机译：通过原子流和阈值公式进行深度推理中的拟多项式归一化
2. On the relative proof complexity of deep inference via atomic flows [J] . AnupamDas Logical Methods in Computer Science . 2015,第1期

机译：关于通过原子流进行深度推理的相对证明复杂性
3. Normalisation Control in Deep Inference via Atomic Flows [J] . AlessioGuglielmi, TomGundersen Logical Methods in Computer Science . 2008,第1期

机译：通过原子流进行深度推理的归一化控制
4. A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae [C] . Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Logic for programming, artificial intelligence, and reasoning . 2010

机译：通过原子流和阈值公式进行深度推断的拟多项式削减法
5. Natural Selection Inference and Sampling Formulae [D] . Khromov, Pavel. 2020

机译：自然选择推断和采样公式
6. Deep Cytometry: Deep learning with Real-time Inference in Cell Sorting and Flow Cytometry [O] . Yueqin Li, Ata Mahjoubfar, Claire Lifan Chen, -1

机译：深度细胞计数法：在细胞分选和流式细胞计数法中采用实时推理进行深度学习
7. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae [O] . Bruscoli Paola, Guglielmi Alessio, Gundersen Tom, 2010

机译：通过原子流和阈值公式进行深度推论的拟多项式削减法

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

著录项

引文网络

相似文献

相关主题

期刊订阅